Direct product decompositions of lattices, closures and relation schemes

In this paper we study direct product decompositions of closure operations and lattices of closed sets. We characterize direct product decompositions of lattices of closed sets in terms of closure operations, and find those decompositions of lattices which correspond to the decompositions of closures. If a closure on a finite set is represented by its implication base (i.e. a binary relation on a powerset), we construct a polynomial algorithm to find its direct product decompositions. The main characterization theorem is also applied to define direct product decompositions of relational database schemes and to find out what properties of relational databases and schemes are preserved under decompositions. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-90-85. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/432 Direct Product Decompositions Of Lattices, Closures And Relation Schemes MS-CIS-90-85 LOGIC & COMPUATION 27